[INFO] cloning repository https://github.com/nnunley/kyanite
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/nnunley/kyanite" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 497daf79ea5ea93661aad54b0b194feeb37178c6
[INFO] testing nnunley/kyanite against master#cced03bfd61a304243a34504618ecec86c17063f for pr-154065-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/nnunley/kyanite
[INFO] finished tweaking git repo https://github.com/nnunley/kyanite
[INFO] tweaked toml for git repo https://github.com/nnunley/kyanite written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/nnunley/kyanite on toolchain cced03bfd61a304243a34504618ecec86c17063f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/nnunley/kyanite already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.114
[INFO] [stderr]   Downloaded cc v1.2.57
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.114
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.114
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.64
[INFO] [stderr]   Downloaded tempfile v3.27.0
[INFO] [stderr]   Downloaded schannel v0.1.29
[INFO] [stderr]   Downloaded enum_dispatch v0.3.13
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.114
[INFO] [stderr]   Downloaded openssl-sys v0.9.112
[INFO] [stderr]   Downloaded js-sys v0.3.91
[INFO] [stderr]   Downloaded openssl v0.10.76
[INFO] [stderr]   Downloaded web-sys v0.3.91
[INFO] [stderr]   Downloaded libc v0.2.183
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f6861089040eba12655c25f76c579f310197eac50131c28cc291317dffcdb460
[INFO] running `Command { std: "docker" "start" "-a" "f6861089040eba12655c25f76c579f310197eac50131c28cc291317dffcdb460", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f6861089040eba12655c25f76c579f310197eac50131c28cc291317dffcdb460", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f6861089040eba12655c25f76c579f310197eac50131c28cc291317dffcdb460", kill_on_drop: false }`
[INFO] [stdout] f6861089040eba12655c25f76c579f310197eac50131c28cc291317dffcdb460
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8281b543af3d330a38c807243d47442d82a7340200934d64ca4613163110415a
[INFO] running `Command { std: "docker" "start" "-a" "8281b543af3d330a38c807243d47442d82a7340200934d64ca4613163110415a", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]    Compiling foreign-types-shared v0.1.1
[INFO] [stderr]    Compiling openssl v0.10.76
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling native-tls v0.2.18
[INFO] [stderr]    Compiling foldhash v0.1.5
[INFO] [stderr]    Compiling openssl-probe v0.2.1
[INFO] [stderr]    Compiling foreign-types v0.3.2
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling enum_dispatch v0.3.13
[INFO] [stderr]    Compiling kyanite-core v0.1.0 (/opt/rustwide/workdir/kyanite-core)
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]    Compiling rustls-pki-types v1.14.0
[INFO] [stderr]    Compiling mime v0.3.17
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling kyanite-sat v0.1.0 (/opt/rustwide/workdir/kyanite-sat)
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling mio v1.1.1
[INFO] [stderr]    Compiling filetime v0.2.27
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]    Compiling xattr v1.6.1
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling tar v0.4.44
[INFO] [stderr]    Compiling kyanite-theories v0.1.0 (/opt/rustwide/workdir/kyanite-theories)
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling openssl-sys v0.9.112
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling kyanite-solver v0.1.0 (/opt/rustwide/workdir/kyanite-solver)
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling kyanite-cli v0.1.0 (/opt/rustwide/workdir/kyanite-cli)
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling h2 v0.4.13
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling tokio-native-tls v0.3.1
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling hyper-tls v0.6.0
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling kyanite-bench v0.1.0 (/opt/rustwide/workdir/kyanite-bench)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stdout]      |
[INFO] [stdout] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stdout]      |
[INFO] [stdout] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WorkerMessage` is never used
[INFO] [stdout]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stdout]     |
[INFO] [stdout] 881 | enum WorkerMessage {
[INFO] [stdout]     |      ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `load_goldens` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1104:4
[INFO] [stdout]      |
[INFO] [stdout] 1104 | fn load_goldens(path: &Path) -> Result<Vec<BenchmarkBudgetRule>, String> {
[INFO] [stdout]      |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stdout]      |
[INFO] [stdout] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stdout]      |
[INFO] [stdout] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 48.02s
[INFO] running `Command { std: "docker" "inspect" "8281b543af3d330a38c807243d47442d82a7340200934d64ca4613163110415a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8281b543af3d330a38c807243d47442d82a7340200934d64ca4613163110415a", kill_on_drop: false }`
[INFO] [stdout] 8281b543af3d330a38c807243d47442d82a7340200934d64ca4613163110415a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 950de35cbe2d5da00fc2b7de63ba8e56703afd2d9895a06216b6fba70d6e7376
[INFO] running `Command { std: "docker" "start" "-a" "950de35cbe2d5da00fc2b7de63ba8e56703afd2d9895a06216b6fba70d6e7376", kill_on_drop: false }`
[INFO] [stderr]    Compiling kyanite-solver v0.1.0 (/opt/rustwide/workdir/kyanite-solver)
[INFO] [stderr]    Compiling kyanite-cli v0.1.0 (/opt/rustwide/workdir/kyanite-cli)
[INFO] [stderr]    Compiling kyanite-theories v0.1.0 (/opt/rustwide/workdir/kyanite-theories)
[INFO] [stderr]    Compiling kyanite-sat v0.1.0 (/opt/rustwide/workdir/kyanite-sat)
[INFO] [stderr]    Compiling kyanite-core v0.1.0 (/opt/rustwide/workdir/kyanite-core)
[INFO] [stderr]    Compiling kyanite-bench v0.1.0 (/opt/rustwide/workdir/kyanite-bench)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stdout]      |
[INFO] [stdout] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stdout]      |
[INFO] [stdout] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WorkerMessage` is never used
[INFO] [stdout]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stdout]     |
[INFO] [stdout] 881 | enum WorkerMessage {
[INFO] [stdout]     |      ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stdout]      |
[INFO] [stdout] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stdout]      |
[INFO] [stdout] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 10.58s
[INFO] running `Command { std: "docker" "inspect" "950de35cbe2d5da00fc2b7de63ba8e56703afd2d9895a06216b6fba70d6e7376", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "950de35cbe2d5da00fc2b7de63ba8e56703afd2d9895a06216b6fba70d6e7376", kill_on_drop: false }`
[INFO] [stdout] 950de35cbe2d5da00fc2b7de63ba8e56703afd2d9895a06216b6fba70d6e7376
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 38658907abf4a8f210ec4107159c89f16c39f279e675c566c092354b24e82bd4
[INFO] running `Command { std: "docker" "start" "-a" "38658907abf4a8f210ec4107159c89f16c39f279e675c566c092354b24e82bd4", kill_on_drop: false }`
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stderr]      |
[INFO] [stderr] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stderr]      |                 ----^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stderr]      |
[INFO] [stderr] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stderr]      |                 ----^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: enum `WorkerMessage` is never used
[INFO] [stderr]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stderr]     |
[INFO] [stderr] 881 | enum WorkerMessage {
[INFO] [stderr]     |      ^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `run_benchmark_from_str` is never used
[INFO] [stderr]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stderr]      |
[INFO] [stderr] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stderr]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stderr]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stderr]      |
[INFO] [stderr] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stderr]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `kyanite-bench` (bin "kyanite-bench" test) generated 5 warnings (run `cargo fix --bin "kyanite-bench" -p kyanite-bench --tests` to apply 2 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.28s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kyanite_bench-d5269133f0dfdb8f)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test tests::archive_index_selects_ordinals_after_filter_and_offset ... ok
[INFO] [stdout] test tests::bench_progress_probe_preserves_native_simplex_pivot_stats ... ok
[INFO] [stdout] test tests::analyze_jsonl_summarizes_finished_and_progress_records ... ok
[INFO] [stdout] test tests::budget_exceeded_reports_elapsed_thresholds ... ok
[INFO] [stdout] test tests::derive_goldens_from_jsonl_keeps_best_correct_run_per_benchmark ... ok
[INFO] [stdout] test tests::budget_exceeded_reports_count_thresholds ... ok
[INFO] [stdout] test tests::load_budget_rules_parses_json_file ... ok
[INFO] [stdout] test tests::local_manifest_captures_platform_and_hashes ... ok
[INFO] [stdout] test tests::offset_and_limit_apply_after_filtering ... ok
[INFO] [stdout] test tests::load_goldens_converts_entries_to_budget_rules ... ok
[INFO] [stdout] test tests::budget_exceeded_ignores_within_budget_progress ... ok
[INFO] [stdout] test tests::path_filter_matches_substrings ... ok
[INFO] [stdout] test tests::archive_entries_honor_filter_and_offset ... ok
[INFO] [stdout] test tests::archive_index_is_saved_and_loaded_for_matching_archive ... ok
[INFO] [stdout] test tests::resolve_budget_uses_first_matching_rule ... ok
[INFO] [stdout] test tests::jsonl_writer_emits_run_and_benchmark_records ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kyanite_cli-a672fec234030ace)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_core-b0a0f10acd180711)
[INFO] [stdout] 
[INFO] [stdout] running 70 tests
[INFO] [stdout] test manager::tests::uninterpreted_function ... ok
[INFO] [stdout] test rlimit::tests::op_limit_0_exceeded_at_first_tick_boundary ... ok
[INFO] [stdout] test rlimit::tests::op_limit_1_exceeded_after_first_tick ... ok
[INFO] [stdout] test rlimit::tests::reset_clears_count ... ok
[INFO] [stdout] test rlimit::tests::saturating_add_prevents_overflow ... ok
[INFO] [stdout] test simplify::tests::add_constants ... ok
[INFO] [stdout] test simplify::tests::add_zero_identity ... ok
[INFO] [stdout] test simplify::tests::add_partial_fold ... ok
[INFO] [stdout] test simplify::tests::and_all_true ... ok
[INFO] [stdout] test simplify::tests::and_with_false ... ok
[INFO] [stdout] test simplify::tests::and_with_true ... ok
[INFO] [stdout] test simplify::tests::double_negation ... ok
[INFO] [stdout] test simplify::tests::div_by_zero_unchanged ... ok
[INFO] [stdout] test simplify::tests::add_zero_left ... ok
[INFO] [stdout] test simplify::tests::eq_same_term ... ok
[INFO] [stdout] test simplify::tests::implies_a_true ... ok
[INFO] [stdout] test simplify::tests::implies_true_b ... ok
[INFO] [stdout] test simplify::tests::gt_constants ... ok
[INFO] [stdout] test simplify::tests::ite_true_condition ... ok
[INFO] [stdout] test manager::tests::hash_consing_compound ... ok
[INFO] [stdout] test simplify::tests::le_constants_equal ... ok
[INFO] [stdout] test simplify::tests::le_cancels_identical_terms ... ok
[INFO] [stdout] test simplify::tests::div_constants ... ok
[INFO] [stdout] test simplify::tests::mul_zero_absorb ... ok
[INFO] [stdout] test simplify::tests::le_normalizes_linear_terms_across_both_sides ... ok
[INFO] [stdout] test simplify::tests::lt_constants_false ... ok
[INFO] [stdout] test simplify::tests::lt_constants_true ... ok
[INFO] [stdout] test simplify::tests::memoization_preserves_results ... ok
[INFO] [stdout] test simplify::tests::mul_constants ... ok
[INFO] [stdout] test simplify::tests::mul_one_identity ... ok
[INFO] [stdout] test manager::tests::sorts_propagate ... ok
[INFO] [stdout] test rlimit::tests::tick_increments_count ... ok
[INFO] [stdout] test simplify::tests::mod_constants ... ok
[INFO] [stdout] test manager::tests::hash_consing ... ok
[INFO] [stdout] test simplify::tests::ge_constants ... ok
[INFO] [stdout] test simplify::tests::not_false ... ok
[INFO] [stdout] test simplify::tests::not_true ... ok
[INFO] [stdout] test simplify::tests::implies_false_b ... ok
[INFO] [stdout] test simplify::tests::sub_constants ... ok
[INFO] [stdout] test simplify::tests::sub_zero_identity ... ok
[INFO] [stdout] test simplify::tests::add_combines_like_terms ... ok
[INFO] [stdout] test simplify::tests::neg_neg_cancel ... ok
[INFO] [stdout] test simplify::tests::nested_not_not_comparison ... ok
[INFO] [stdout] test simplify::tests::or_all_false ... ok
[INFO] [stdout] test simplify::tests::or_with_true ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_basic ... ok
[INFO] [stdout] test smtlib::parser::tests::define_fun_parameters_do_not_leak_into_global_scope ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_declare_and_assert ... ok
[INFO] [stdout] test smtlib::parser::tests::let_bindings_do_not_leak_past_body_scope ... ok
[INFO] [stdout] test simplify::tests::ite_false_condition ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_full_program ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_declare_fun ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_let_binding ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_nested_arithmetic ... ok
[INFO] [stdout] test rlimit::tests::is_exceeded_at_limit ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_sat-a1b388a599309bb4)
[INFO] [stdout] test smtlib::lexer::tests::lex_numeral_and_negation ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_string ... ok
[INFO] [stdout] test simplify::tests::or_with_false ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_comment ... ok
[INFO] [stdout] test smtlib::printer::tests::print_round_trip ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_push_pop ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_define_fun ... ok
[INFO] [stdout] test simplify::tests::neg_constant ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_set_logic ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_unary_minus ... ok
[INFO] [stdout] test smtlib::printer::tests::print_nested ... ok
[INFO] [stdout] test substitute::tests::substitute_preserves_unchanged ... ok
[INFO] [stdout] test substitute::tests::substitute_variable ... ok
[INFO] [stdout] test symbol::tests::intern_and_resolve ... ok
[INFO] [stdout] test smtlib::printer::tests::print_negative ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 70 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test solver::tests::case_split_clause_emits_theory_callback_event ... ok
[INFO] [stdout] test solver::tests::duplicate_case_split_clause_is_not_readded ... ok
[INFO] [stdout] test solver::tests::pigeonhole_3_into_2 ... ok
[INFO] [stdout] test solver::tests::push_pop ... ok
[INFO] [stdout] test solver::tests::case_split_callback_can_bias_the_next_decision_once ... ok
[INFO] [stdout] test solver::tests::pigeonhole_2_into_1 ... ok
[INFO] [stdout] test solver::tests::remaining_case_split_literal_defaults_to_positive_phase ... ok
[INFO] [stdout] test solver::tests::sat_stats_snapshot_exists ... ok
[INFO] [stdout] test solver::tests::satisfiable_3sat ... ok
[INFO] [stdout] test solver::tests::three_clause_unsat ... ok
[INFO] [stdout] test solver::tests::trivial_sat ... ok
[INFO] [stdout] test solver::tests::trivial_unsat ... ok
[INFO] [stdout] test solver::tests::unit_propagation ... ok
[INFO] [stdout] test probe::tests::watch_sat_probe_panics_on_violation ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_solver-c5861fb682afd0c4)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 44 tests
[INFO] [stdout] test search_planner::tests::planner_chooses_other_side_if_first_is_false ... ok
[INFO] [stdout] test search_planner::tests::planner_falls_back_to_cooled_down_family_when_it_is_the_only_choice ... ok
[INFO] [stdout] test search_planner::tests::planner_cools_down_repeatedly_failing_families ... ok
[INFO] [stdout] test search_planner::tests::planner_penalizes_repeated_split_families ... ok
[INFO] [stdout] test search_planner::tests::planner_keeps_only_one_pending_split_per_family ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_higher_scored_split ... ok
[INFO] [stdout] test search_planner::tests::planner_reports_suppressed_families_after_configured_threshold ... ok
[INFO] [stdout] test search_planner::tests::planner_skips_cooled_existing_family_when_another_open_family_exists ... ok
[INFO] [stdout] test search_planner::tests::planner_resurfaces_active_split_after_backtrack_undoes_decision ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_first_undef_split_literal ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_open_literal_from_existing_split_clause ... ok
[INFO] [stdout] test search_planner::tests::planner_skips_fully_assigned_splits ... ok
[INFO] [stdout] test solver::tests::boolean_and_theory ... ok
[INFO] [stdout] test solver::tests::coef_size_problem004_default_config_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_or_presolve_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_with_bland_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_with_first_fractional_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_small_config_is_not_unsat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_small_config_model_satisfies_benchmark ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::diagnose_problem003_bound_flow ... ignored, diagnostic trace for problem003 bound flow
[INFO] [stdout] test solver::tests::diagnose_problem003_sat_branch_closure ... ignored, diagnostic trace for problem003 SAT branch closure
[INFO] [stdout] test solver::tests::diagnose_problem003_sat_branch_closure_deeper ... ignored, deeper diagnostic trace for problem003 SAT branch closure
[INFO] [stdout] test solver::tests::bridge_probe_captures_final_check_phases ... ok
[INFO] [stdout] test solver::tests::problem003_bounded_search_uses_planner_guidance ... ignored, assertive regression for planner-guided problem003 search
[INFO] [stdout] test solver::tests::problem003_expanded_unsat ... ignored, solver returns Unknown on integer-infeasible LP-feasible problem — needs deeper B&B
[INFO] [stdout] test solver::tests::problem003_unsat ... ignored, solver returns Unknown on integer-infeasible LP-feasible problem — needs deeper B&B
[INFO] [stdout] test solver::tests::bridge_probe_final_check_sat_path ... ok
[INFO] [stdout] test solver::tests::bridge_probe_captures_conflict_on_unsat ... ok
[INFO] [stdout] test solver::tests::disjunction ... ok
[INFO] [stdout] test solver::tests::from_smtlib_parser ... ok
[INFO] [stdout] test theory_bridge::tests::split_prefers_missing_lower_bound_side_first ... ok
[INFO] [stdout] test solver::tests::bridge_probe_captures_atom_dispatch ... ok
[INFO] [stdout] test solver::tests::watch_probe_can_accumulate_state ... ok
[INFO] [stdout] test solver::tests::incremental_push_pop ... ok
[INFO] [stdout] test solver::tests::simple_unsat ... ok
[INFO] [stdout] test theory_bridge::tests::euf_derived_equalities_include_full_reason_chain ... ok
[INFO] [stdout] test solver::tests::euf_congruence ... ok
[INFO] [stdout] test solver::tests::diagnose_uflia_func_arith_unsat ... ok
[INFO] [stdout] test solver::tests::diagnose_uflia_congruence_unsat ... ok
[INFO] [stdout] test solver::tests::simple_sat ... ok
[INFO] [stdout] test theory_bridge::tests::bridge_next_decision_uses_existing_open_split_literal ... ok
[INFO] [stdout] test solver::tests::simple_integer_infeasible ... ok
[INFO] [stdout] test solver::tests::problem003_lia_only ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 31 passed; 0 failed; 13 ignored; 0 measured; 0 filtered out; finished in 1.50s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/smtcomp.rs (/opt/rustwide/target/debug/deps/smtcomp-7f28690212fda77f)
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test qf_lia_disjunction_unsat ... ok
[INFO] [stdout] test qf_lia_branch_and_cut_sat ... ok
[INFO] [stdout] test qf_lia_branch_and_cut_unsat ... ok
[INFO] [stdout] test qf_lia_div_sat ... ok
[INFO] [stdout] test qf_lia_disjunction_sat ... ok
[INFO] [stdout] test qf_lia_div_unsat ... ok
[INFO] [stdout] test qf_lia_incremental_push_pop ... ok
[INFO] [stdout] test qf_lia_large_coefficients_unsat ... ok
[INFO] [stdout] test qf_lia_equality_chain_unsat ... ok
[INFO] [stdout] test qf_lia_linear_combo_unsat ... ok
[INFO] [stdout] test qf_lia_multi_var_unsat ... ok
[INFO] [stdout] test qf_lia_mod_unsat ... ok
[INFO] [stdout] test qf_lia_scaled_eq_sat ... ok
[INFO] [stdout] test qf_lia_scaled_eq_unsat ... ok
[INFO] [stdout] test qf_lia_strict_ineq_sat ... ok
[INFO] [stdout] test qf_lia_strict_ineq_unsat ... ok
[INFO] [stdout] test qf_lia_mod_sat ... ok
[INFO] [stdout] test qf_uflia_func_arith_sat ... ok
[INFO] [stdout] test qf_lia_two_var_eq_unsat ... ok
[INFO] [stdout] test qf_uflia_func_arith_unsat ... ok
[INFO] [stdout] test qf_lia_multi_var_sat ... ok
[INFO] [stdout] test qf_uflia_transitivity_unsat ... ok
[INFO] [stdout] test qf_lia_tight_bounds_unsat ... ok
[INFO] [stdout] test qf_uflia_diamond_unsat ... ok
[INFO] [stdout] test qf_uflia_nested_sat ... ok
[INFO] [stdout] test qf_uflia_congruence_sat ... ok
[INFO] [stdout] test qf_uflia_congruence_unsat ... ok
[INFO] [stdout] test qf_lia_subtraction_sat ... ok
[INFO] [stdout] test qf_uflia_transitivity_sat ... ok
[INFO] [stdout] test qf_lia_large_coefficients_sat ... FAILED
[INFO] [stderr] error: test failed, to rerun pass `-p kyanite-solver --test smtcomp`
[INFO] [stdout] test qf_lia_tight_bounds_sat ... FAILED
[INFO] [stdout] test qf_lia_equality_chain_sat ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_large_coefficients_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_large_coefficients_sat' (163) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x () Int)
[INFO] [stdout] (declare-fun y () Int)
[INFO] [stdout] (assert (<= (+ (* 1000 x) (* 999 y)) 100000))
[INFO] [stdout] (assert (>= x 50))
[INFO] [stdout] (assert (>= y 50))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5a4b9965f318 - std[929523f510218772]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5a4b9965f318 - std[929523f510218772]::backtrace_rs::backtrace::trace_unsynchronized::<std[929523f510218772]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5a4b9965f318 - std[929523f510218772]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5a4b9965f318 - <<std[929523f510218772]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[28b146924c2f19c6]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5a4b9967326a - <core[28b146924c2f19c6]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5a4b9967326a - core[28b146924c2f19c6]::fmt::write
[INFO] [stdout]    6:     0x5a4b99663b32 - std[929523f510218772]::io::default_write_fmt::<alloc[95e62e727ddf147d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x5a4b99663b32 - <alloc[95e62e727ddf147d]::vec::Vec<u8> as std[929523f510218772]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x5a4b9963e4c6 - <std[929523f510218772]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5a4b9963e4c6 - std[929523f510218772]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5a4b99657869 - std[929523f510218772]::panicking::default_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5a4b9943861c - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x5a4b9943861c - test[6ec0502068880816]::test_main_inner::<test[6ec0502068880816]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5a4b99657a22 - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x5a4b99657a22 - std[929523f510218772]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5a4b9963e582 - std[929523f510218772]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5a4b99633789 - std[929523f510218772]::sys::backtrace::__rust_end_short_backtrace::<std[929523f510218772]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5a4b9963f29d - __rustc[acf6043c977865fb]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5a4b99673a2c - core[28b146924c2f19c6]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5a4b99673943 - core[28b146924c2f19c6]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x5a4b9942158f - core[28b146924c2f19c6]::panicking::assert_failed::<kyanite_solver[1e241a84a070229]::solver::SolverResult, kyanite_solver[1e241a84a070229]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x5a4b994270d9 - smtcomp[eb992a3256aaddd0]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x5a4b994276a4 - smtcomp[eb992a3256aaddd0]::qf_lia_large_coefficients_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:267:5
[INFO] [stdout]   23:     0x5a4b994267c7 - smtcomp[eb992a3256aaddd0]::qf_lia_large_coefficients_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:265:35
[INFO] [stdout]   24:     0x5a4b994261a6 - <smtcomp[eb992a3256aaddd0]::qf_lia_large_coefficients_sat::{closure#0} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5a4b9942b6fb - <fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5a4b9942b6fb - test[6ec0502068880816]::__rust_begin_short_backtrace::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x5a4b99438f75 - test[6ec0502068880816]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x5a4b99438f75 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x5a4b99438f75 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x5a4b99438f75 - std[929523f510218772]::panicking::catch_unwind::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x5a4b99438f75 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x5a4b99438f75 - test[6ec0502068880816]::run_test_in_process
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x5a4b99438f75 - test[6ec0502068880816]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x5a4b99433ad4 - test[6ec0502068880816]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x5a4b99433ad4 - std[929523f510218772]::sys::backtrace::__rust_begin_short_backtrace::<test[6ec0502068880816]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x5a4b9943bff2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x5a4b9943bff2 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x5a4b9943bff2 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x5a4b9943bff2 - std[929523f510218772]::panicking::catch_unwind::<(), core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x5a4b9943bff2 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x5a4b9943bff2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x5a4b9943bff2 - <std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x5a4b9965ec7f - <alloc[95e62e727ddf147d]::boxed::Box<dyn core[28b146924c2f19c6]::ops::function::FnOnce<(), Output = ()> + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   44:     0x5a4b9965ec7f - <std[929523f510218772]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x720fee24baa4 - <unknown>
[INFO] [stdout]   46:     0x720fee2d8a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_tight_bounds_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_tight_bounds_sat' (175) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x () Int)
[INFO] [stdout] (declare-fun y () Int)
[INFO] [stdout] (declare-fun z () Int)
[INFO] [stdout] (assert (= (+ x y z) 6))
[INFO] [stdout] (assert (>= x 0))
[INFO] [stdout] (assert (>= y 0))
[INFO] [stdout] (assert (>= z 0))
[INFO] [stdout] (assert (<= x 6))
[INFO] [stdout] (assert (<= y 6))
[INFO] [stdout] (assert (<= z 6))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5a4b9965f318 - std[929523f510218772]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5a4b9965f318 - std[929523f510218772]::backtrace_rs::backtrace::trace_unsynchronized::<std[929523f510218772]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5a4b9965f318 - std[929523f510218772]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5a4b9965f318 - <<std[929523f510218772]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[28b146924c2f19c6]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5a4b9967326a - <core[28b146924c2f19c6]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5a4b9967326a - core[28b146924c2f19c6]::fmt::write
[INFO] [stdout]    6:     0x5a4b99663b32 - std[929523f510218772]::io::default_write_fmt::<alloc[95e62e727ddf147d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x5a4b99663b32 - <alloc[95e62e727ddf147d]::vec::Vec<u8> as std[929523f510218772]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x5a4b9963e4c6 - <std[929523f510218772]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5a4b9963e4c6 - std[929523f510218772]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5a4b99657869 - std[929523f510218772]::panicking::default_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5a4b9943861c - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x5a4b9943861c - test[6ec0502068880816]::test_main_inner::<test[6ec0502068880816]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5a4b99657a22 - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x5a4b99657a22 - std[929523f510218772]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5a4b9963e582 - std[929523f510218772]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5a4b99633789 - std[929523f510218772]::sys::backtrace::__rust_end_short_backtrace::<std[929523f510218772]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5a4b9963f29d - __rustc[acf6043c977865fb]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5a4b99673a2c - core[28b146924c2f19c6]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5a4b99673943 - core[28b146924c2f19c6]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x5a4b9942158f - core[28b146924c2f19c6]::panicking::assert_failed::<kyanite_solver[1e241a84a070229]::solver::SolverResult, kyanite_solver[1e241a84a070229]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x5a4b994270d9 - smtcomp[eb992a3256aaddd0]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x5a4b994272b4 - smtcomp[eb992a3256aaddd0]::qf_lia_tight_bounds_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:307:5
[INFO] [stdout]   23:     0x5a4b99426497 - smtcomp[eb992a3256aaddd0]::qf_lia_tight_bounds_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:305:29
[INFO] [stdout]   24:     0x5a4b99425d66 - <smtcomp[eb992a3256aaddd0]::qf_lia_tight_bounds_sat::{closure#0} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5a4b9942b6fb - <fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5a4b9942b6fb - test[6ec0502068880816]::__rust_begin_short_backtrace::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x5a4b99438f75 - test[6ec0502068880816]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x5a4b99438f75 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x5a4b99438f75 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x5a4b99438f75 - std[929523f510218772]::panicking::catch_unwind::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x5a4b99438f75 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x5a4b99438f75 - test[6ec0502068880816]::run_test_in_process
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x5a4b99438f75 - test[6ec0502068880816]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x5a4b99433ad4 - test[6ec0502068880816]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x5a4b99433ad4 - std[929523f510218772]::sys::backtrace::__rust_begin_short_backtrace::<test[6ec0502068880816]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x5a4b9943bff2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x5a4b9943bff2 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x5a4b9943bff2 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x5a4b9943bff2 - std[929523f510218772]::panicking::catch_unwind::<(), core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x5a4b9943bff2 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x5a4b9943bff2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x5a4b9943bff2 - <std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x5a4b9965ec7f - <alloc[95e62e727ddf147d]::boxed::Box<dyn core[28b146924c2f19c6]::ops::function::FnOnce<(), Output = ()> + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   44:     0x5a4b9965ec7f - <std[929523f510218772]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x720fee24baa4 - <unknown>
[INFO] [stdout]   46:     0x720fee2d8a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_equality_chain_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_equality_chain_sat' (160) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x1 () Int)
[INFO] [stdout] (declare-fun x2 () Int)
[INFO] [stdout] (declare-fun x3 () Int)
[INFO] [stdout] (assert (= x1 (+ x2 1)))
[INFO] [stdout] (assert (= x2 (+ x3 1)))
[INFO] [stdout] (assert (= x3 0))
[INFO] [stdout] (assert (>= x1 0))
[INFO] [stdout] (assert (<= x1 10))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5a4b9965f318 - std[929523f510218772]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5a4b9965f318 - std[929523f510218772]::backtrace_rs::backtrace::trace_unsynchronized::<std[929523f510218772]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5a4b9965f318 - std[929523f510218772]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5a4b9965f318 - <<std[929523f510218772]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[28b146924c2f19c6]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5a4b9967326a - <core[28b146924c2f19c6]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5a4b9967326a - core[28b146924c2f19c6]::fmt::write
[INFO] [stdout]    6:     0x5a4b99663b32 - std[929523f510218772]::io::default_write_fmt::<alloc[95e62e727ddf147d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x5a4b99663b32 - <alloc[95e62e727ddf147d]::vec::Vec<u8> as std[929523f510218772]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x5a4b9963e4c6 - <std[929523f510218772]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5a4b9963e4c6 - std[929523f510218772]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5a4b99657869 - std[929523f510218772]::panicking::default_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5a4b9943861c - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x5a4b9943861c - test[6ec0502068880816]::test_main_inner::<test[6ec0502068880816]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5a4b99657a22 - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x5a4b99657a22 - std[929523f510218772]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5a4b9963e582 - std[929523f510218772]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5a4b99633789 - std[929523f510218772]::sys::backtrace::__rust_end_short_backtrace::<std[929523f510218772]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5a4b9963f29d - __rustc[acf6043c977865fb]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5a4b99673a2c - core[28b146924c2f19c6]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5a4b99673943 - core[28b146924c2f19c6]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x5a4b9942158f - core[28b146924c2f19c6]::panicking::assert_failed::<kyanite_solver[1e241a84a070229]::solver::SolverResult, kyanite_solver[1e241a84a070229]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x5a4b994270d9 - smtcomp[eb992a3256aaddd0]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x5a4b99427394 - smtcomp[eb992a3256aaddd0]::qf_lia_equality_chain_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:116:5
[INFO] [stdout]   23:     0x5a4b994265e7 - smtcomp[eb992a3256aaddd0]::qf_lia_equality_chain_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:114:31
[INFO] [stdout]   24:     0x5a4b99425f26 - <smtcomp[eb992a3256aaddd0]::qf_lia_equality_chain_sat::{closure#0} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5a4b9942b6fb - <fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5a4b9942b6fb - test[6ec0502068880816]::__rust_begin_short_backtrace::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x5a4b99438f75 - test[6ec0502068880816]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x5a4b99438f75 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x5a4b99438f75 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x5a4b99438f75 - std[929523f510218772]::panicking::catch_unwind::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x5a4b99438f75 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x5a4b99438f75 - test[6ec0502068880816]::run_test_in_process
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x5a4b99438f75 - test[6ec0502068880816]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x5a4b99433ad4 - test[6ec0502068880816]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x5a4b99433ad4 - std[929523f510218772]::sys::backtrace::__rust_begin_short_backtrace::<test[6ec0502068880816]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x5a4b9943bff2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x5a4b9943bff2 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x5a4b9943bff2 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x5a4b9943bff2 - std[929523f510218772]::panicking::catch_unwind::<(), core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x5a4b9943bff2 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x5a4b9943bff2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x5a4b9943bff2 - <std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x5a4b9965ec7f - <alloc[95e62e727ddf147d]::boxed::Box<dyn core[28b146924c2f19c6]::ops::function::FnOnce<(), Output = ()> + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   44:     0x5a4b9965ec7f - <std[929523f510218772]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x720fee24baa4 - <unknown>
[INFO] [stdout]   46:     0x720fee2d8a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     qf_lia_equality_chain_sat
[INFO] [stdout]     qf_lia_large_coefficients_sat
[INFO] [stdout]     qf_lia_tight_bounds_sat
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 29 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "38658907abf4a8f210ec4107159c89f16c39f279e675c566c092354b24e82bd4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "38658907abf4a8f210ec4107159c89f16c39f279e675c566c092354b24e82bd4", kill_on_drop: false }`
[INFO] [stdout] 38658907abf4a8f210ec4107159c89f16c39f279e675c566c092354b24e82bd4
